branching-time temporal logic

分支时间时序逻辑

热门查询

shutout　　n. [经] 停业；关厂；被关在外面的人；使对方无法得分的比赛
sears　　n. (Sears)人名；(英)西尔斯 v. 使干枯；灼伤（sear的单三形式）
hypnotism　　n. 催眠术；催眠状态
glyphosate　　n. [农药] 草甘膦
minim　　n. 量滴（液量最小单位）；极小的东西；二分音符 adj. 最小的；微小的
unction　　n. 涂油；涂油礼；津津有味；虚情假意
forwarding　　n. 转发；促进；运输业务；各项装订工序 adj. 运输的；转发的 v. 促进；寄发；装订；转递（forward的ing形式）
doorsill　　n. 门槛
deliberate　　adj. 故意的；深思熟虑的；从容的 vt. 仔细考虑；商议
substantiation　　n. 证实；实体化
lebensraum　　n. （德）生存空间（由纳粹分子提出，指国土以外可控制的领土和属地）
mingle　　vi. 混合；交往 vt. 使混合；使相混 n. (Mingle)人名；(加纳、英)明格尔
open letter　　n. 公开信 [网络] 公开信文学出版社；一封致同学们的公开信；公开信立于一画
eventuate　　vi. 结果为；发生，终于发生
ADMIN　　abbr. 管理，行政（administration）
returnable　　adj. 可归还的；可退回的；可回答的
wilbur　　n. 威尔伯（男子名，等于Wilber）
dulwich　　n. 达利奇（英国地名）
qv　　abbr. quivering 颤抖; quod vide (Latin=which see) （拉丁语）参见…; quality verification 质量确认; quantum vis (Latin=as much as you wish) （拉丁语）随意量
fringy　　adj. 有缘饰的；穗状的